.SH
References
.LP
.in 4
.ti -4
[1]\ M. Barbacci and T. Uehara 
Proc. of IFIP 6th Computer Hardware 
Description Languages and their Applications, May 1983.
.ti -4
[2]\  R. Milner, "A Calculus of Communicating Systems", Lecture Notes in
Computer Science 92, Springer, Berlin 1980.
.ti -4
[3]\ Z. Manna and A. Pnueli, "Verification of Concurrent Programs,
Part 1: The Temporal Framework", Dept. of Computer Science,
Stanford Univ. Report STAN-CS-81-836, June 1981.
.ti -4
[4]\ G.J. Milne, "CIRCAL: A Calculus for Circuit Description", Integration, 
Vol.1, No.2&3, pp.121-160, North Holland, October 1983.
.ti -4
[5]\ B. Mishra and E.M. Clarke, "Automatic and Hierarchical Verification
of Asynchronous Circuits Using Temporal Logic",
Dept. of Computer Science, Carnegie-Mellon Univ. Report CMU-CS-83-155, 
September 1983.
.ti -4
[6]\ P. Wolper, "Temporal Logic Can Be More Expressive",
22nd Annual Symposium on Foundation of Computer Science, October 1981.
.ti -4
[7]\ B.C. Moszkowski, "Reasoning about Digital Circuit", Rep. 
No.STAN-CS-83-970 Dept. of C.S. Stanford Univ. July 1983.
.ti -4
[8]\ B.C. Moszkowski and Z. Manna, "Temporal Logic as a Programming 
Language", Proc. of Parallel Computing 83, West Berlin, Sept. 1983.
.ti -4
[9]\ B.C. Moszkowski, "Executing Temporal Logic Programs", Rep. 
No.55 Computer Laboratory, Univ. of Cambridge, 1984.
.ti -4
[10]\ W.F. Clocksin and C.S. Mellish, "Programming in Prolog",
Springer-Verlag, 1981.
.ti -4
[11]\ M. Fujita, H. Tanaka and T. Moto-oka, "Logic Design Assistance with 
Temporal Logic", IFIP 7th Computer Hardware Description Languages and their Applications, August 1985.
.ti -4
[12]\ M. Fujita, H. Tanaka and T. Moto-oka, "Specifying Hardware in Temporal
Logic & Efficient Synthesis of State-Diagrams Using Prolog",
Proc. of FGCS '84, Tokyo Japan, November 1984.
.ti -4
[13]\ M. Fujita, "Logic Design Assistance with Temporal Logic", Doctoral
Dissertation, Information Engineering, University of Tokyo, 1984.
.ti -4
[14]\ T. Moto-oka, H. Tanaka, H. Aida, K. Hirata and T. Maruyama, "The
Architecture of a Parallel Inference Engine -PIE-",
Proc. of FGCS '84, Tokyo, Japan, November 1984.
.ti -4
[15]\ F. Pereira, "C-Prolog Users Manual Version 1.5" EdCAD,
Edingburh Univ. 1984.
